\begin{tabbing}
ma{-}prob{-}da{-}dom($M$;$b$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=(\=($\uparrow$fpf{-}dom(IdDeq; $b$; (($M$.2.2.2.2.2.2.2.2.2.2.2).1)))\+\+
\\[0ex]$\Rightarrow$ ($\uparrow$fpf{-}dom(KindDeq; locl($b$); (($M$.2).1))))
\-\\[0ex]\& ($b$ in dom($M$.pre) $\Rightarrow$ ($\uparrow$$b$ $\in$ dom($M$.prob)))
\-
\end{tabbing}